automated proof checking造句

Yet, the language enables the increased level of formality necessary for automated proof checking.
On 10 August 2014 Hales announced the completion of a formal proof using automated proof checking, removing any doubt.
"' Automated proof checking "'is the process of using software for checking proofs for correctness.
Automated proof checking differs from automated theorem proving in that automated proof checking simply mechanically checks the formal workings of an existing proof, instead of trying to develop new proofs or theorems itself.
Automated proof checking differs from automated theorem proving in that automated proof checking simply mechanically checks the formal workings of an existing proof, instead of trying to develop new proofs or theorems itself.
It's difficult to find automated proof checking in a sentence. 用automated proof checking造句挺难的

Because of this, the task of automated proof verification is much simpler than that of automated theorem proving, allowing automated proof checking software to be much simpler than automated theorem proving software.
Because of this small size, some automated proof checking systems can have less than a thousand lines of core code, and are thus themselves amenable to both hand-checking and automated software verification.
The most developed subareas of automated reasoning are automated theorem proving ( and the less automated but more pragmatic subfield of interactive theorem proving ) and automated proof checking ( viewed as guaranteed correct reasoning under fixed assumptions ).